Interprétation de l'interprétation
نویسندگان
چکیده
منابع مشابه
Interprétation spectrale de la classification relationnelle
Résumé. Ce papier présente une vue spectrale sur l’approche de l’analyse relationnelle pour la classification des données catégorielles. Il établit d’abord le lien théorique entre l’approche de l’analyse relationnelle et le problème de classification spectrale. En particulier, le problème de classification relationnelle est présenté comme un problème de maximisation de trace, ce problème est do...
متن کاملInterprétation graphique de la courbe ROC
Résumé. L’aire sous la courbe ROC est un outil pertinent pour mesurer la performance d’un classifieur et possède de nombreux avantages par rapport aux mesures de rappel et précision par classe : la performance est indiquée par une seule mesure et ne dépend pas des populations des classes. Cet avantage se transforme néanmoins en inconvénient lorsqu’il s’agit, lors de la lecture de la courbe, de ...
متن کاملVérification partielle de programmes de contrôle-commande par interprétation abstraite
In the field of static analysis, abstract interpretation based techniques compute over approximations of the set of possible behaviors of programs. These over-approximations give properties on the program that can be used to prove the abscence of some bugs. In the case of control command programs, the behavior of the program depends on the physical environment with which it interacts. This envi...
متن کاملInterprétation Interactive de connaissances à partir de traces
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
متن کاملAnalyse statique par interprétation abstraite de systèmes hybrides
ion de la partie continue Dans ce chapitre, nous présentons une abstraction de la partie continue des systèmes hybrides décrits au chapitre 5. Notre but est d’utiliser les algorithmes d’intégration garantie présentés au chapitre 3 comme une abstraction, au sens de l’interprétation abstraite, de la sémantique de la partie continue. Nous commençons donc par définir intuitivement les conditions qu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal des traducteurs
سال: 1958
ISSN: 0316-3024,2562-2994
DOI: 10.7202/1061445ar